namespace ABV_STACK {
	namespace bad {
		void foobar(int x)
		{
			int local_array[7];
			local_array[x] = 0;
		}

		int main() {
			foobar(15);
			return 0;
		}
	}

	namespace good {
		void foobar(int x)
		{
			int local_array[7];
			// verify the parameter is in range
			if (x >= 0 && x < 7)
			{
				local_array[x] = 0;
			}
		}

		int main() {
			foobar(15);
			return 0;
		}
	}
}